Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔗 Dependent Types
Idris, Agda, Proof Assistants, Type-Level Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
6697
posts in
11.2
ms
Hedystia
- End-to-End
Type
Safe Framework
docs.hedystia.com
·
8h
·
Discuss:
Hacker News
🦕
Deno
Learn
Haskell
in Two
Weeks
vitez.me
·
6h
·
Discuss:
Lobsters
λ
Functional Programming
FP-Go
V2: Enhanced
Functional
Programming for Go 1.24
github.com
·
4h
·
Discuss:
Hacker News
λ
Functional Programming
Issue 515
haskellweekly.news
·
1d
λ
Functional Programming
Databricks
launches
Genie
Code to automate data science and engineering tasks
infoworld.com
·
1h
🤖
AI Coding Tools
A
Typed
Language for Agent
Coordination
johncarlosbaez.wordpress.com
·
1d
·
Discuss:
Hacker News
⚙️
Concurrency Models
Executing
programs inside transformers with
exponentially
faster inference
percepta.ai
·
1h
·
Discuss:
r/LocalLLaMA
🤖
AI Inference
Readme
Human
mathbook.cafe
·
9h
🤖
AI Coding Tools
Guix
System
nemin.hu
·
14h
·
Discuss:
Lobsters
📦
Nix Flakes
Idempotent
Slices
with Applications to Code-Size Reduction
arxiv.org
·
2d
·
Discuss:
Hacker News
↩️
Continuation Passing
JetBrains
unveils AI tracing library for
Kotlin
and Java
infoworld.com
·
12h
🤖
AI Coding Tools
QORA-LLM-2B
– Pure Rust
ternary
inference, no multiplication needed
huggingface.co
·
1d
·
Discuss:
Hacker News
☁️
Serverless Rust
Ashfaqbs/TinyLLM-usecases
: a collection of tiny llms with usecases
github.com
·
5h
·
Discuss:
r/LLM
,
r/LocalLLM
💻
Local LLMs
From
ic-dbms
to
wasm-dbms
blog.veeso.dev
·
1d
🧠
Memory Models
Build an AI Code Review
Bot
with Semantic
Kernel
in C#
devleader.ca
·
14h
🤖
AI Coding Tools
and
gracewithsalt.com
·
14h
🔄
Finite Automata
Pros and
Cons
:
Experiments
with AI-Driven Development and Claude Code
spin.atomicobject.com
·
23h
🤖
AI Coding Tools
Don't
Vibe
—
Prove
ngrislain.github.io
·
10h
·
Discuss:
Hacker News
λ
Functional Programming
Inspecting
and
modifying
Python types during type checking
lwn.net
·
3d
🎯
Hindley-Milner
Retrieval After RAG: Hybrid Search, Agents, and Database Design — Simon
Hørup
Eskildsen
of Turbopuffer
latent.space
·
12h
🗄️
Databases
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help